∃-asp
نویسندگان
چکیده
Answer set programming (ASP) is an appropriate formalism to represent various problems issued from artificial intelligence and arising when available information is incomplete. When dealing with information expressed in terms of ontologies in some tractable description logic language, ASP must be extended to handle existential variables. We present the syntax and semantics of an ASP language with existential variables using Skolemization. We formalize its links with standard ASP. This work has led to an implementation.
منابع مشابه
Ab initio potential energy surface and second virial coefficient for Asp-His-Ser trimer
HF level of ab initio calculations with basis-set 6-31G including full counterpoise correction hasbeen applied to compute the AspHis potential with the Ser and HisSer potential with the Asp inAspHisSer trimer. The potential energy surface has a minimum of -16.765 kcal/mol in R1=1.912nm and R2=2.719 nm. The optimum computed curves for two interactions were fitted withintermolecular pair potentia...
متن کاملL-Asparaginase-producing Rouxiella Species Isolation, Antileukemia Activity Evaluation, and Enzyme Production Optimization
Background: L-Asparaginase (L-Asp) is used as an efficient anti-cancer drug, especially for acute lymphoblastic leukemia (ALL). Currently, two bacterial asparaginase isoenzymes are used for cancer treatment. Therefore, this research focused on isolating native bacteria with the ability to produce L-Asp. Materials and methods: L-Asp producing bacteria were isolated from soil samples on 9K medi...
متن کاملEffect of Antioxidant D-Aspartic Acid and Thawing Rate on the Freeze-Thawing Process of Ram Semen
The study was conducted to determine the influence of D-aspartic acid (D-Asp) as antioxidant supplement and thawing rates on ram sperm motility, membrane integrity, abnormality, viability, mitochondria activity, malondialdehyde and antioxidant activities, and total antioxidant capacity after freezing-thawing process. Semen samples from five mature rams (3-4 years old) were diluted with extender...
متن کاملFat requirement of hybrid Asp (Leuciscus aspius ♀) × Caspian Kutum (Rutilus frisii ♂); effect on growth and biochemical indices
This study aimed to determine the fat requirement and effect of dietary fat levels on growth and body composition indices of hybrid Asp (Leuciscus aspius ♀) × Caspian Kutum (Rutilus frisii ♂). For this purpose, 252 fish with an average weight of 29.3 ± 5.8 g were introduced in a completely randomized design with six treatments each with triplicate groups. After two weeks of adaptation, fish wer...
متن کاملبررسی ارتباط چند شکلی ژنتیکی Val109Asp ژن امنتین با چاقی در زنان ایرانی
Background: obesity is the major health problems affecting communities worldwide and the prevalence is rapidly rising. Obesity as a lifestyle-related factor increases the risk of many diseases. Omentin is a new adipocytokine that is abundantly expressed in visceral fat tissue and its expression levels reversely correlated with obesity. The purpose of this study was to investigate the associatio...
متن کامل